\section{Introduction}

\subsection{Bugs in software}

\input{slides/BugsInSoftware}

\input{slides/FindingBugsIsEasy}

\subsection{Why FindBugs?}

\input{slides/WhyFindBugsForResearch}

\input{slides/TutorialAssumptions}

\input{slides/Acknowledgements}

\subsection{Demo}
\TitleSlide{Demo}

